Information Interface

High-Level Information Interface

This report summarizes progress made in the last period on the use of high-level information to enhance synthesis and verification. We investigated ways to automatically generate and prove word-level invariants inside our existing bit-level solver, i.e. invariants over bit-vectors in the design-under-test that cannot be expressed as a conjunction of bit-level invariants, such as bit-equalities,...

Information Interactions: Interface Objects

Interface for Historical Information

5 Central Questions 5 Arguments 9 1 Collective production of historical records 9 2 Learning by building structures 9

Passenger Interface Systems in Modern Railway Application: A Dedicated Passenger Information System for Istanbul Tramway

After 1860’s the railway systems has started to be used in urban transportation in the world. However, especially after the 1950’s, automobile usage has been increased quickly. Thus the dense of transportation has started to move from railway systems to the ones with rubber tire vehicles in Istanbul. Traffic density in urban transportation has started to be experienced since 1950 with the incre...

Speech Interface Exploiting Nonverbal Information

This paper introduces our research on speech interfaces using nonverbal information and examines new possibilities in speech interfaces. Although speech information consists of verbal and nonverbal information, most speech-recognition research has made use of only verbal information. From among nonverbal information, we have focused on hesitation (filled pause) and prosody (voice pitch) to crea...